面向集成的网络CAPP系统的研究与探索

简述了我国CAPP的发展历程和研究与应用现状 ,提出了CAPP系统应向集成化、网络化方向发展 ,探讨了面向集成的网络化CAPP系统的体系结构、运行机制及其中的一些关键技术     

如何进行PDM的选型和实施

通过本文简单的讲述了PDM的基本概念、PDM选型和实施需要注意的问题,以及实施PDM系统可以为企业带来的效益。     

结构化面向对象形式规格说明语言OOZS——设计原理

形式方法与面向对象方法的综合使用可以使它们各自的优点得到充分体现：形式方法使目标软件系统的需求规格说明简明、精确,面向对象方法使目标软件系统的组织和分解工作更加系统、自然．本文讨论了Ｚ规格说明语言的应用限制,并在Ｚ语言的基础上介绍了结构化面向对象形式规格说明语言——ＯＯＺＳ的设计方法．该语言吸收了面向对象程序设计语言ＳｍａｌＴａｌｋ、Ｃ＋＋以及形式规格说明语言ＶＤＭ、Ｚｃ、Ｚ．Ｓ等的优点,引入了类、继承、入口、出口、Ｐｒｅ谓词、Ｐｏｓｔ谓词等机制,并对Ｚ语言的符号进行结构化处理,提高了形式规格说明的层次性和模块化能力,可用于大型面向对象软件系统需求规格说明的编写     

基于Petri网的车间控制器平台研究

着重于车间控制器的开放性提出了车间控制器平台的体系结构.车间控制器平台的核心是运控Petri网.该文给出了运控Petri网的定义.和一般的Petri网相比,运控Petri网主要增加了控制规则以及和外部信息进行交互的接口.实现外部接口的技术方案是车间控制器平台的关键技术,这些接口包括控制设备的虚拟制造设备(VMD)接口、数据库访问接口以及文件访问接口,通过这些外部接口为车间调度提供了全面的车间信息.     

应用CSCW技术的PDM流程管理研究

文章采用CSCW技术对PDM中的流程协同设计过程进行了研究，分析了CSCW技术应用于PDM中时应该解决的诸多问题，架构了一个新型的C／S和B／S混合的网络模型，并且提供了一个切实可行的设计方案．     

基于 PDM控制的高频交流交交变换器的建模

根据软开关谐振理论,对三相高频交流交交变换器,提出了一种新颖的脉冲密度调制(PDM)的控制策略,并采用PDM控制策略建立了变换器的数学模型和仿真模型,分析了变换器输出波形。研究表明,在高频输入信号条件下,PDM控制技术可以将高频输入电压合成为幅值和频率变化的低频信号,具有操作简单、控制方便的特点。     

基于角色控制的分布式PDM系统

提出了一种适合于工程设计中基于协同工作的多用户的分布式PDM系统的软件结构。介绍了一个相关的软件模型，这个软件模型说明了如何通过添加CSCW和RBAC机制来扩展现存的PDM系统，在讨论了PDM、CSCW和RBAC的基础上，给出了相应软件的框架结构模型的思想。     

PDM与ERP集成的技术及其实现

分析了产品数据管理(PDM)和企业资源计划(ERP)的区别，指出了将两个系统集成的必要性；介绍了集成原理，并探讨了一种基于COM的集成方法，强调只有符合企业实际的与ERP的PDM集成才是最好的集成．     

一种面向对象的形式化规范说明技术

介绍了一种新的面向对象的形式化规范说明技术ＶＤＭ＋＋，它是ＶＤＭ的一种扩充．并且通过一个实例说明如何应用ＶＤＭ＋＋技术对面向对象系统进行形式化规范说明．     

图形LOTOS和Petri同模型在PC机上的实现

在ＰＣ机上建立了一个由ＤＯＳ系统支持的图形ＬＯＴＯＳ（ＧＬＯＴＯＳ）软件工具．用这个工具，用户可以设计，显示一个ＧＬＯＴＯＳ说明，也可以把它转换成Ｐｅｔｒｉ网．该系统分为三个模块：ＤＲＡＷ，ＲＥＣＯＶＥＲ和ＴＲＡＮＳＦＥＲ．根据ＧＬＯＴＯＳ模型，模块ＤＲＡＷ给出了一个交互式的菜单系统，用这个系统，用户可以在图形窗口的任何位置画出ＧＬＯＴＯＳ的任一成分；模块ＲＥＣＯＶＥＲ可以自动恢复以前画好的ＧＬＯＴＯＳ模型；根据Ｐｅｔｒｉ网的表示，模块ＲＥＣＯＶＥＲ提供了从ＧＬＯＴＯＳ自动转换到Ｐｅｔｒｉ网的功能．